
function update_random_number() {
  new Ajax.Updater('randomNumberElement', '/random', {method: "get"});      
}
